$\forall$$g$:OGrp, $a$, $b$:$\mid$$g$$\mid$. ($a$ $\leq$ $b$) $\Leftarrow\!\Rightarrow$ (e $\leq$ ($b$ $\ast$ ($\sim$($a$))))